17.67/18.44	unsat
