19.99/24.04	unsat
