15.87/17.32	unsat
