15.31/17.96	unsat
