13.26/13.84	unsat
