12.34/12.40	unsat
