19.81/24.47	unsat
