17.34/20.20	unsat
