15.47/17.08	unsat
