12.59/13.16	unsat
