18.54/18.66	unsat
