26.26/26.94	unsat
