18.45/18.58	unsat
