13.18/15.85	unsat
