18.78/19.48	unsat
