12.86/16.86	unsat
