12.26/12.49	unsat
