18.45/18.52	unsat
