17.67/20.07	unsat
