13.46/14.90	unsat
