12.26/12.81	unsat
