23.44/24.45	unsat
