18.84/19.34	unsat
