15.96/17.86	unsat
