10.98/14.59	unsat
