17.64/20.29	unsat
