13.78/16.86	unsat
