17.96/18.29	unsat
