13.96/15.78	unsat
