12.31/12.49	unsat
