17.67/20.60	unsat
