17.25/21.32	unsat
