18.54/18.75	unsat
