14.46/15.96	unsat
