14.69/14.84	unsat
