12.29/14.90	unsat
