13.76/13.84	unsat
