23.26/44.50	unsat
