17.85/18.44	unsat
