13.46/15.99	unsat
