13.96/14.85	unsat
