18.54/19.86	unsat
