12.28/12.38	unsat
