23.34/25.33	unsat
