17.89/20.81	unsat
