12.25/15.30	unsat
