19.43/21.04	unsat
