13.77/13.84	unsat
