23.26/26.39	unsat
