18.77/18.81	unsat
