23.45/25.45	unsat
