18.53/19.47	unsat
