18.64/19.28	unsat
