15.87/17.96	unsat
