23.04/23.33	unsat
