13.40/16.16	unsat
