13.68/15.84	unsat
