23.15/23.28	unsat
