17.84/20.72	unsat
