17.67/20.02	unsat
