17.66/20.44	unsat
