17.96/18.44	unsat
