17.74/20.97	unsat
