15.86/17.70	unsat
