14.77/14.85	unsat
