12.66/14.85	unsat
