15.27/17.08	unsat
