12.59/13.40	unsat
