15.46/17.44	unsat
