22.99/24.54	unsat
